Issue3276.agda:15,30-32
n != zero of type Nat
when checking that the expression xs has type Vec A 0
